821. Time warps, String edits, and macromolecules: The theory and practice of sequence comparison
پدیدآورنده : edited by David Sankoff and Joseph B. Kruskal
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Sequences )Mathematics(,، Pattern perception,، Computational complexity,، Molecular biology,، Speech processing systems
رده :
QA
292
.
T55
1983
822. Time warps, string edits, and macromolecules
پدیدآورنده : ]edited by[ David Sankoff and Joseph B. Kruskal; introduction by John Nerbonne
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Sequences )Mathematics(,، Pattern perception,، Computational complexity,، Molecular biology,، Speech processing systems
رده :
QA
292
.
T55
1999
823. Topics in Cryptology -- CT-RSA 2006
پدیدآورنده : edited by David Pointcheval.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity.,Computer networks.,Computer software.,Data encryption (Computer science),Information networks.,Operating systems (Computers)
824. Topics in engineering mathematics :
پدیدآورنده : edited by Adriaan van der Burgh and Juriaan Simonis.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity.,Mathematical optimization.,Mathematics.
825. Topics in the general theory of structures
پدیدآورنده :
موضوع : System analysis,Computational complexity
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
826. Topics in the theory of computation
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computational complexity ; Congresses. ; Machine theory ; Congresses. ; Computer science ; Mathematics ; Congresses. ;
827. Topics in the theory of computation :
پدیدآورنده : edited by Marek Karpinski and Jan van Leeuwen
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity-- Congresses,Computer science-- Mathematics-- Congresses,Machine theory-- Congresses
رده :
QA267
.
I56
1983
828. #Topics in the theory of computation
پدیدآورنده : #edited by Marek Karpinski and Jan van Leeuwen
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Computational complexity- Congresses ،Machine theory- Congresses ،Computer science- Mathematics- Congresses
رده :
#
QA
،#.
I56
،#
1985
829. Tractable reasoning in artificial intelligence
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Artificial intelligence. ; Reasoning ; Data processing. ; Computational complexity. ; Approximation theory. ;
830. Transactions on Computational Science VIII
پدیدآورنده : edited by Marina L. Gavrilova, C. J. Kenneth Tan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity.,Computer science.,Computer software.,Computer vision.,Information storage and retrieval systems.,Optical pattern recognition.
831. Transactions on Computational Science XI
پدیدآورنده : edited by Marina L. Gavrilova, C. J. Kenneth Tan, Edward David Moreno.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Coding theory.,Computational complexity.,Computer networks.,Computer science.,Computer software.,Data encryption (Computer science)
832. Transactions on computational science VII
پدیدآورنده : Marina L. Gavrilova, C.J. Kenneth Tan (Eds.)
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Science, Data processing,Computational complexity,Computer science,Mathematical analysis
833. Transactions on computational science VII
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computational complexity. ;
834. Trees in algebra and programming
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Data processing Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
166
.
2
.
C3
1986
835. Trees in algebra and programming: 6th colloquium, Genoa, March 5-7, 1981: proceedings
پدیدآورنده :
موضوع : Data processing Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
836. Trees in algebra and programming: 8th colloquium, L'Aquila, March 9-11, 1983: proceedings
پدیدآورنده :
موضوع : Data processing Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
837. Trellises and Trellis-Based Decoding Algorithms for Linear Block Codes
پدیدآورنده : by Shu Lin, Tadao Kasami, Toru Fujiwara, Marc Fossorier.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity.,Computer Communication Networks.,Computer engineering.,Engineering.,Mathematics.
838. Turbo Codes
پدیدآورنده : by Branka Vucetic, Jinhong Yuan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity.,Computer Communication Networks.,Computer engineering.,Engineering.
839. Turing Machines with sublogarithmic space
پدیدآورنده : Szepietowski, Andrzej
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Turing machines,، Computational complexity
رده :
QA
76
.
L28
Vol
.
843
840. Turing machines with sublogarithmic space
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Turing machines ; Computational complexity ;
